French translation for "negation as failure"

négation par l'échec

Example Sentences:

	1.	Negation as failure has been an important feature of logic programming since the earliest days of both Planner and Prolog. C'est une caractéristique importante de la programmation logique depuis les origines de Planner et de Prolog.
	2.	It anticipated a number of features of Prolog such as negation as failure, aggregation operators, the central role of backtracking and constraint solving. Il prévoit un certain nombre de fonctionnalités de Prolog comme la négation par l'échec, les opérateurs d'agrégation, le rôle central de marche arrière et la résolution de contraintes.
	3.	In the context of logic programming, this idea leads to the need to distinguish between two kinds of negation — negation as failure, discussed above, and strong negation, which is denoted here by ∼ {\displaystyle \sim } . Dans le contexte de la programmation logique, cette approche conduit à la nécessité de distinguer deux types de négation - la négation par manque d'information, et la négation forte.
	4.	Negation as failure (NAF, for short) is a non-monotonic inference rule in logic programming, used to derive n o t p {\displaystyle \mathrm {not} ~p} (i.e. that p {\displaystyle ~p} is assumed not to hold) from failure to derive p {\displaystyle ~p} . La négation par l'échec (en anglais NAF pour negation as failure, ou NBF pour negation by failure) est une règle d'inférence non monotone en programmation logique, utilisée pour la dérivation de n o t p
	5.	If we do not necessarily know whether a train is approaching then the rule using negation as failure Cross ← not Train {\displaystyle {\hbox{Cross}}\leftarrow {\hbox{not Train}}} is not an adequate representation of this idea: it says that it's okay to cross in the absence of information about an approaching train. Comme nous ne savons pas nécessairement si un train approche, la règle (comme en Prolog) qui utiliserait la négation par défaut, n’est pas adéquate dans certains contextes: en effet elle dit qu’il est acceptable de traverser en l’absence d’information sur un train qui approche.

Similar Words：

"negasso gidada" French translation, "negate" French translation, "negation" French translation, "negation (comics)" French translation, "negation (linguistics)" French translation, "negation normal form" French translation, "negative" French translation, "negative (finnish band)" French translation, "negative (photography)" French translation